#include <stdio.h>

/* evaluate (getchar() != EOF) */
main()
{
    printf("%d\n", getchar() != EOF);
}
